d53970bdfea662bb3060d90bc56968e33606db57,de.prob2.kernel/src/main/java/de/prob/animator/AnimatorImpl.java,AnimatorImpl,getErrors,#,91
Before Change
}
private synchronized List<String> getErrors() {
List<String> errors = Collections.emptyList();
IPrologResult errorresult = processor.sendCommand(getErrors);
if (errorresult instanceof YesResult) {
getErrors.processResult(((YesResult) errorresult).getBindings());
errors = getErrors.getErrors();
if (!errors.isEmpty()) {
String msg = Joiner.on('\n').join(errors);
logger.error("ProB raised exception(s):\n", msg);
return errors;
}
} else if (errorresult instanceof NoResult
|| errorresult instanceof InterruptedResult) {
throw new ProBError("Get errors must be successful");
} else {
throw new ProBError("Unknown result type");
}
return errors;
}
@Override
After Change
getErrors.processResult(((YesResult) errorresult).getBindings());
List<String> errors = getErrors.getErrors();
if (errors.isEmpty())
return Collections.emptyList();
else {
String msg = Joiner.on('\n').join(errors);
logger.error("ProB raised exception(s):\n", msg);